The ESA Ravenscar Benchmark
نویسندگان
چکیده
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS C implementation featuring the native threading model. ERB is original compared to existing Ada benchmarks, such as the ACES or the PIWG, not only because it is the first Ada Ravenscar benchmark, but also because it provides at the same time measurement of execution times and estimate of the memory footprint of the Ada runtime and stack size requirements. ERB intends to become the standard benchmark for embedded Ada Ravenscar applications. To facilitate this, the European Space Agency and AdaCore plan to release it under the GNU GPL to interested third parties.
منابع مشابه
A Formal Model of a Run-Time Kernel for Ravenscar
The Ravenscar tasking profile for Ada 95 has been designed to allow implementation of highly safety critical systems in Ada. Ravenscar defines a tasking run-time system with deterministic behaviour and low complexity. We provide a formal model of the primitives provided by Ravenscar including exceptions. This formal model can be used to verify safety properties of applications targeting a Raven...
متن کاملTransformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach
The Ravenscar Profile is a subset of Ada95 tasking model which removes the Ada’s unsafe real-time characteristics and allows high-integrity of system. By the Ravenscar Profile, Ada95 can meet the determinism on system behavior. It also allows schedulability analysis and formal verification on the concurrent model of system. But the formal verification may be additional hard works to improve val...
متن کاملRavenscar Protected Objects: a Circus Semantics
The Ravenscar pro le is a restricted subset of the Ada 95 tasking model | designed to provide a certi able deterministic tasking model that supports schedulability analysis and meets tight memory constraints and performance requirements. Centre to Ravenscar is the use of Ada protected objects as the means for ensuring mutually exclusive access to data shared between di erent tasks. In this repo...
متن کاملA Circus Semantics for Ravenscar Protected Objects
The Ravenscar profile is a subset of the Ada 95 tasking model: it is certifiable, deterministic, supports schedulability analysis, and meets tight memory constraints and performance requirements. A central feature of Ravenscar is the use of protected objects to ensure mutually exclusive access to shared data. We give a semantics to protected objects using Circus, a combination of Z and CSP, and...
متن کامل